Contents of Changes to v1.2:

Changes to v1.2:

| $\begin{figure}\vbox{\include{\vert} }\end{figure}$ now allowed.
Comment characters not obeyed, as determined by ||.